замкнутый терм

См. также в других словарях:

• МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

• Рим — I         Древний (лат. Roma), город, возникший (согласно античному преданию, в 754/753 до н. э.) из группы поселений, к середине 3 в. до н. э. подчинивший себе весь Апеннинский полуостров; в дальнейшем средиземноморская держава, включавшая… …   Большая советская энциклопедия

• Топки* — или пространство, в котором так сожигается топливо (см. Горючие материалы), чтобы тепло, развивающееся при горении, сообщалось в желаемой мере тем твердым, жидким или газообразным предметам (или пространствам, ими наполненным), которые желательно …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Топки — или пространство, в котором так сожигается топливо (см. Горючие материалы), чтобы тепло, развивающееся при горении, сообщалось в желаемой мере тем твердым, жидким или газообразным предметам (или пространствам, ими наполненным), которые желательно …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

• АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …   Математическая энциклопедия

• УНИВЕРСАЛЬНЫХ АЛГЕБР МНОГООБРАЗИЕ — класс универсальных алгебр, определяемый системой тождеств (ср. Алгебраических систем многообразие). У. а. м. характеризуется как непустой класс алгебр, замкнутый относительно факторалгебр, подалгебр и прямых произведений. Последние два условия… …   Математическая энциклопедия

• Париж (Франция) — Город, столица Франции Париж фр. Paris Флаг Герб …   Википедия

• Париже — Город, столица Франции Париж фр. Paris Флаг Герб …   Википедия